Summary

• Fixed debug_verify_type to use the actual executed entrypoint's type instead of always using entrypoints.get(0)
• This caused spurious "TYPE MISMATCH" panics when running multi-entrypoint queries with --entry

Details

The bug was in verify.rs:27 - it always verified against the first entrypoint alphabetically, not the one passed via --entry. For example, with:

Expr = [Lit: (number) @value  Var: (identifier) @name]
Q = (program ... (Expr) @value)

Running --entry Q would verify against Expr's type (index 0) instead of Q's type, causing a type mismatch.

Fix: Changed debug_verify_type signature to accept expected_type: QTypeId directly from the caller, who already has the correct entrypoint.